node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,6) :- #0.298.
link(6,1) :- #0.509.
link(1,7) :- #0.904.
link(7,1) :- #0.002.
link(1,22) :- #0.398.
link(22,1) :- #0.609.
link(1,29) :- #0.185.
link(29,1) :- #0.579.
link(1,48) :- #0.253.
link(48,1) :- #0.887.
link(1,50) :- #0.037.
link(50,1) :- #0.091.
link(1,51) :- #0.624.
link(51,1) :- #0.131.
link(1,62) :- #0.354.
link(62,1) :- #0.146.
link(1,69) :- #0.6.
link(69,1) :- #0.855.
link(1,75) :- #0.828.
link(75,1) :- #0.493.
link(1,103) :- #0.226.
link(103,1) :- #0.123.
link(1,104) :- #0.879.
link(104,1) :- #0.533.
link(1,110) :- #0.847.
link(110,1) :- #0.14.
link(1,111) :- #0.345.
link(111,1) :- #0.674.
link(1,117) :- #0.17.
link(117,1) :- #0.853.
link(1,127) :- #0.448.
link(127,1) :- #0.42.
link(1,129) :- #0.187.
link(129,1) :- #0.58.
link(2,26) :- #0.031.
link(26,2) :- #0.349.
link(2,28) :- #0.375.
link(28,2) :- #0.974.
link(2,30) :- #0.355.
link(30,2) :- #0.811.
link(2,44) :- #0.522.
link(44,2) :- #0.03.
link(2,65) :- #0.189.
link(65,2) :- #0.157.
link(2,67) :- #0.314.
link(67,2) :- #0.02.
link(2,77) :- #0.706.
link(77,2) :- #0.039.
link(2,78) :- #0.339.
link(78,2) :- #0.111.
link(2,100) :- #0.945.
link(100,2) :- #0.252.
link(2,115) :- #0.522.
link(115,2) :- #0.442.
link(2,120) :- #0.492.
link(120,2) :- #0.251.
link(2,127) :- #0.523.
link(127,2) :- #0.793.
link(2,130) :- #0.44.
link(130,2) :- #0.757.
link(2,136) :- #0.254.
link(136,2) :- #0.912.
link(3,14) :- #0.993.
link(14,3) :- #0.425.
link(3,16) :- #0.219.
link(16,3) :- #0.496.
link(3,22) :- #0.698.
link(22,3) :- #0.736.
link(3,23) :- #0.61.
link(23,3) :- #0.902.
link(3,34) :- #0.816.
link(34,3) :- #0.808.
link(3,70) :- #0.269.
link(70,3) :- #0.436.
link(3,83) :- #0.906.
link(83,3) :- #0.583.
link(3,91) :- #0.477.
link(91,3) :- #0.536.
link(3,111) :- #0.911.
link(111,3) :- #0.573.
link(3,140) :- #0.587.
link(140,3) :- #0.237.
link(4,16) :- #0.822.
link(16,4) :- #0.5.
link(4,23) :- #0.527.
link(23,4) :- #0.566.
link(4,50) :- #0.063.
link(50,4) :- #0.376.
link(4,53) :- #0.096.
link(53,4) :- #0.39.
link(4,54) :- #0.629.
link(54,4) :- #0.053.
link(4,60) :- #0.333.
link(60,4) :- #0.882.
link(4,73) :- #0.681.
link(73,4) :- #0.469.
link(4,98) :- #0.452.
link(98,4) :- #0.03.
link(4,104) :- #0.858.
link(104,4) :- #0.604.
link(4,108) :- #0.41.
link(108,4) :- #0.385.
link(4,114) :- #0.19.
link(114,4) :- #0.987.
link(4,121) :- #0.879.
link(121,4) :- #0.617.
link(4,125) :- #0.905.
link(125,4) :- #0.827.
link(4,128) :- #0.57.
link(128,4) :- #0.154.
link(4,133) :- #0.972.
link(133,4) :- #0.037.
link(4,135) :- #0.863.
link(135,4) :- #0.551.
link(5,8) :- #0.301.
link(8,5) :- #0.368.
link(5,12) :- #0.574.
link(12,5) :- #0.834.
link(5,13) :- #0.602.
link(13,5) :- #0.265.
link(5,29) :- #0.34.
link(29,5) :- #0.434.
link(5,44) :- #0.087.
link(44,5) :- #0.185.
link(5,49) :- #0.457.
link(49,5) :- #0.847.
link(5,65) :- #0.043.
link(65,5) :- #0.635.
link(5,79) :- #0.256.
link(79,5) :- #0.703.
link(5,81) :- #0.607.
link(81,5) :- #0.031.
link(5,107) :- #0.286.
link(107,5) :- #0.55.
link(5,115) :- #0.627.
link(115,5) :- #0.27.
link(5,123) :- #0.098.
link(123,5) :- #0.597.
link(5,125) :- #0.532.
link(125,5) :- #0.053.
link(5,129) :- #0.344.
link(129,5) :- #0.753.
link(6,9) :- #0.854.
link(9,6) :- #0.334.
link(6,12) :- #0.023.
link(12,6) :- #0.99.
link(6,14) :- #0.211.
link(14,6) :- #0.503.
link(6,36) :- #0.899.
link(36,6) :- #0.045.
link(6,37) :- #0.496.
link(37,6) :- #0.095.
link(6,51) :- #0.75.
link(51,6) :- #0.442.
link(6,72) :- #0.243.
link(72,6) :- #0.111.
link(6,82) :- #0.794.
link(82,6) :- #0.256.
link(6,84) :- #0.051.
link(84,6) :- #0.502.
link(6,100) :- #0.247.
link(100,6) :- #0.926.
link(6,105) :- #0.762.
link(105,6) :- #0.752.
link(6,118) :- #0.057.
link(118,6) :- #0.978.
link(6,133) :- #0.349.
link(133,6) :- #0.863.
link(6,134) :- #0.547.
link(134,6) :- #0.099.
link(7,9) :- #0.06.
link(9,7) :- #0.674.
link(7,11) :- #0.616.
link(11,7) :- #0.501.
link(7,22) :- #0.943.
link(22,7) :- #0.427.
link(7,34) :- #0.763.
link(34,7) :- #0.63.
link(7,60) :- #0.038.
link(60,7) :- #0.669.
link(7,68) :- #0.978.
link(68,7) :- #0.687.
link(7,71) :- #0.047.
link(71,7) :- #0.996.
link(7,75) :- #0.448.
link(75,7) :- #0.078.
link(7,113) :- #0.475.
link(113,7) :- #0.3.
link(7,119) :- #0.45.
link(119,7) :- #0.291.
link(8,12) :- #0.892.
link(12,8) :- #0.009.
link(8,23) :- #0.984.
link(23,8) :- #0.032.
link(8,35) :- #0.24.
link(35,8) :- #0.457.
link(8,69) :- #0.045.
link(69,8) :- #0.976.
link(8,71) :- #0.8.
link(71,8) :- #0.876.
link(8,77) :- #0.629.
link(77,8) :- #0.754.
link(8,78) :- #0.402.
link(78,8) :- #0.296.
link(8,79) :- #0.744.
link(79,8) :- #0.814.
link(8,80) :- #0.747.
link(80,8) :- #0.747.
link(8,93) :- #0.148.
link(93,8) :- #0.341.
link(8,114) :- #0.636.
link(114,8) :- #0.872.
link(8,115) :- #0.196.
link(115,8) :- #0.365.
link(8,121) :- #0.874.
link(121,8) :- #0.293.
link(8,125) :- #0.72.
link(125,8) :- #0.543.
link(8,128) :- #0.482.
link(128,8) :- #0.581.
link(8,129) :- #0.236.
link(129,8) :- #0.536.
link(8,133) :- #0.216.
link(133,8) :- #0.544.
link(9,23) :- #0.943.
link(23,9) :- #0.681.
link(9,29) :- #0.739.
link(29,9) :- #0.878.
link(9,32) :- #0.849.
link(32,9) :- #0.281.
link(9,38) :- #0.919.
link(38,9) :- #0.294.
link(9,49) :- #0.336.
link(49,9) :- #0.799.
link(9,51) :- #0.764.
link(51,9) :- #0.587.
link(9,58) :- #0.319.
link(58,9) :- #0.873.
link(9,60) :- #0.331.
link(60,9) :- #0.081.
link(9,62) :- #0.65.
link(62,9) :- #0.072.
link(9,64) :- #0.501.
link(64,9) :- #0.532.
link(9,66) :- #0.352.
link(66,9) :- #0.914.
link(9,73) :- #0.667.
link(73,9) :- #0.327.
link(9,87) :- #0.709.
link(87,9) :- #0.719.
link(9,90) :- #0.83.
link(90,9) :- #0.146.
link(9,93) :- #0.89.
link(93,9) :- #0.47.
link(9,94) :- #0.384.
link(94,9) :- #0.751.
link(9,139) :- #0.257.
link(139,9) :- #0.143.
link(10,19) :- #0.215.
link(19,10) :- #0.167.
link(10,24) :- #0.199.
link(24,10) :- #0.708.
link(10,32) :- #0.02.
link(32,10) :- #0.793.
link(10,36) :- #0.445.
link(36,10) :- #0.789.
link(10,59) :- #0.713.
link(59,10) :- #0.546.
link(10,72) :- #0.55.
link(72,10) :- #0.211.
link(10,76) :- #0.996.
link(76,10) :- #0.428.
link(10,77) :- #0.209.
link(77,10) :- #0.261.
link(10,80) :- #0.085.
link(80,10) :- #0.186.
link(10,95) :- #0.491.
link(95,10) :- #0.708.
link(10,96) :- #0.82.
link(96,10) :- #0.394.
link(10,123) :- #0.746.
link(123,10) :- #0.564.
link(10,140) :- #0.172.
link(140,10) :- #0.211.
link(11,74) :- #0.265.
link(74,11) :- #0.276.
link(11,101) :- #0.199.
link(101,11) :- #0.559.
link(11,106) :- #0.721.
link(106,11) :- #0.963.
link(11,119) :- #0.67.
link(119,11) :- #0.044.
link(11,125) :- #0.395.
link(125,11) :- #0.242.
link(11,128) :- #0.785.
link(128,11) :- #0.908.
link(11,131) :- #0.61.
link(131,11) :- #0.805.
link(12,35) :- #0.173.
link(35,12) :- #0.681.
link(12,40) :- #0.864.
link(40,12) :- #0.871.
link(12,46) :- #0.688.
link(46,12) :- #0.334.
link(12,48) :- #0.822.
link(48,12) :- #0.875.
link(12,64) :- #0.666.
link(64,12) :- #0.219.
link(12,72) :- #0.572.
link(72,12) :- #0.656.
link(12,104) :- #0.418.
link(104,12) :- #0.265.
link(12,106) :- #0.831.
link(106,12) :- #0.267.
link(12,120) :- #0.647.
link(120,12) :- #0.845.
link(12,127) :- #0.966.
link(127,12) :- #0.463.
link(12,128) :- #0.626.
link(128,12) :- #0.945.
link(12,137) :- #0.578.
link(137,12) :- #0.504.
link(12,139) :- #0.726.
link(139,12) :- #0.247.
link(12,140) :- #0.828.
link(140,12) :- #0.07.
link(13,19) :- #0.874.
link(19,13) :- #0.047.
link(13,22) :- #0.85.
link(22,13) :- #0.671.
link(13,23) :- #0.853.
link(23,13) :- #0.608.
link(13,26) :- #0.217.
link(26,13) :- #0.621.
link(13,37) :- #0.655.
link(37,13) :- #0.188.
link(13,38) :- #0.138.
link(38,13) :- #0.584.
link(13,40) :- #0.271.
link(40,13) :- #0.143.
link(13,56) :- #0.465.
link(56,13) :- #0.393.
link(13,57) :- #0.087.
link(57,13) :- #0.814.
link(13,64) :- #0.747.
link(64,13) :- #0.647.
link(13,74) :- #0.952.
link(74,13) :- #0.45.
link(13,76) :- #0.948.
link(76,13) :- #0.81.
link(13,77) :- #0.003.
link(77,13) :- #0.901.
link(13,82) :- #0.562.
link(82,13) :- #0.87.
link(13,84) :- #0.516.
link(84,13) :- #0.757.
link(13,91) :- #0.079.
link(91,13) :- #0.051.
link(13,96) :- #0.646.
link(96,13) :- #0.849.
link(13,101) :- #0.932.
link(101,13) :- #0.675.
link(13,102) :- #0.589.
link(102,13) :- #0.546.
link(13,111) :- #0.602.
link(111,13) :- #0.742.
link(13,113) :- #0.833.
link(113,13) :- #0.004.
link(13,118) :- #0.58.
link(118,13) :- #0.553.
link(13,122) :- #0.143.
link(122,13) :- #0.903.
link(13,126) :- #0.783.
link(126,13) :- #0.163.
link(13,129) :- #0.213.
link(129,13) :- #0.239.
link(13,130) :- #0.335.
link(130,13) :- #0.319.
link(13,135) :- #0.595.
link(135,13) :- #0.409.
link(14,20) :- #0.57.
link(20,14) :- #0.12.
link(14,38) :- #0.233.
link(38,14) :- #0.139.
link(14,57) :- #0.722.
link(57,14) :- #0.701.
link(14,66) :- #0.36.
link(66,14) :- #0.31.
link(14,90) :- #0.107.
link(90,14) :- #0.134.
link(14,102) :- #0.493.
link(102,14) :- #0.393.
link(14,115) :- #0.146.
link(115,14) :- #0.289.
link(14,120) :- #0.123.
link(120,14) :- #0.234.
link(14,130) :- #0.271.
link(130,14) :- #0.882.
link(14,132) :- #0.477.
link(132,14) :- #0.167.
link(14,135) :- #0.489.
link(135,14) :- #0.377.
link(15,28) :- #0.266.
link(28,15) :- #0.719.
link(15,32) :- #0.045.
link(32,15) :- #0.887.
link(15,36) :- #0.018.
link(36,15) :- #0.384.
link(15,41) :- #0.401.
link(41,15) :- #0.103.
link(15,53) :- #0.814.
link(53,15) :- #0.389.
link(15,65) :- #0.608.
link(65,15) :- #0.294.
link(15,69) :- #0.474.
link(69,15) :- #0.016.
link(15,74) :- #0.502.
link(74,15) :- #0.362.
link(15,80) :- #0.758.
link(80,15) :- #0.694.
link(15,82) :- #0.01.
link(82,15) :- #0.21.
link(15,126) :- #0.288.
link(126,15) :- #0.755.
link(15,128) :- #0.976.
link(128,15) :- #0.401.
link(15,131) :- #0.804.
link(131,15) :- #0.75.
link(15,139) :- #0.161.
link(139,15) :- #0.475.
link(16,25) :- #0.527.
link(25,16) :- #0.655.
link(16,26) :- #0.78.
link(26,16) :- #0.631.
link(16,32) :- #0.432.
link(32,16) :- #0.961.
link(16,34) :- #0.666.
link(34,16) :- #0.931.
link(16,39) :- #0.003.
link(39,16) :- #0.651.
link(16,46) :- #0.772.
link(46,16) :- #0.189.
link(16,60) :- #0.682.
link(60,16) :- #0.806.
link(16,63) :- #0.72.
link(63,16) :- #0.223.
link(16,64) :- #0.811.
link(64,16) :- #0.172.
link(16,67) :- #0.606.
link(67,16) :- #0.992.
link(16,76) :- #0.168.
link(76,16) :- #0.336.
link(16,110) :- #0.879.
link(110,16) :- #0.912.
link(16,123) :- #0.447.
link(123,16) :- #0.414.
link(17,18) :- #0.165.
link(18,17) :- #0.542.
link(17,35) :- #0.709.
link(35,17) :- #0.745.
link(17,49) :- #0.031.
link(49,17) :- #0.224.
link(17,73) :- #0.213.
link(73,17) :- #0.232.
link(17,82) :- #0.625.
link(82,17) :- #0.558.
link(17,85) :- #0.374.
link(85,17) :- #0.57.
link(17,94) :- #0.29.
link(94,17) :- #0.06.
link(17,117) :- #0.253.
link(117,17) :- #0.022.
link(17,122) :- #0.996.
link(122,17) :- #0.563.
link(17,139) :- #0.884.
link(139,17) :- #0.949.
link(18,58) :- #0.871.
link(58,18) :- #0.993.
link(18,68) :- #0.417.
link(68,18) :- #0.403.
link(18,69) :- #0.122.
link(69,18) :- #0.947.
link(18,82) :- #0.094.
link(82,18) :- #0.667.
link(18,86) :- #0.223.
link(86,18) :- #0.853.
link(18,89) :- #0.104.
link(89,18) :- #0.999.
link(18,95) :- #0.676.
link(95,18) :- #0.624.
link(18,96) :- #0.702.
link(96,18) :- #0.588.
link(18,103) :- #0.801.
link(103,18) :- #0.157.
link(18,104) :- #0.399.
link(104,18) :- #0.116.
link(18,129) :- #0.648.
link(129,18) :- #0.384.
link(19,27) :- #0.428.
link(27,19) :- #0.498.
link(19,34) :- #0.944.
link(34,19) :- #0.084.
link(19,52) :- #0.107.
link(52,19) :- #0.668.
link(19,55) :- #0.187.
link(55,19) :- #0.178.
link(19,56) :- #0.666.
link(56,19) :- #0.269.
link(19,57) :- #0.222.
link(57,19) :- #0.907.
link(19,62) :- #0.704.
link(62,19) :- #0.25.
link(19,69) :- #0.416.
link(69,19) :- #0.112.
link(19,72) :- #0.977.
link(72,19) :- #0.774.
link(19,76) :- #0.484.
link(76,19) :- #0.805.
link(19,90) :- #0.895.
link(90,19) :- #0.891.
link(19,98) :- #0.044.
link(98,19) :- #0.677.
link(19,104) :- #0.905.
link(104,19) :- #0.913.
link(19,114) :- #0.599.
link(114,19) :- #0.742.
link(19,134) :- #0.166.
link(134,19) :- #0.616.
link(19,138) :- #0.148.
link(138,19) :- #0.761.
link(20,33) :- #0.268.
link(33,20) :- #0.695.
link(20,39) :- #0.531.
link(39,20) :- #0.696.
link(20,44) :- #0.688.
link(44,20) :- #0.659.
link(20,45) :- #0.513.
link(45,20) :- #0.381.
link(20,66) :- #0.465.
link(66,20) :- #0.319.
link(20,82) :- #0.958.
link(82,20) :- #0.826.
link(20,97) :- #0.961.
link(97,20) :- #0.813.
link(20,98) :- #0.301.
link(98,20) :- #0.603.
link(20,102) :- #0.376.
link(102,20) :- #0.842.
link(20,105) :- #0.129.
link(105,20) :- #0.322.
link(20,112) :- #0.865.
link(112,20) :- #0.17.
link(20,117) :- #0.629.
link(117,20) :- #0.092.
link(20,130) :- #0.108.
link(130,20) :- #0.087.
link(20,131) :- #0.02.
link(131,20) :- #0.576.
link(20,135) :- #0.129.
link(135,20) :- #0.246.
link(21,27) :- #0.836.
link(27,21) :- #0.837.
link(21,31) :- #0.175.
link(31,21) :- #0.129.
link(21,34) :- #0.152.
link(34,21) :- #0.006.
link(21,39) :- #0.798.
link(39,21) :- #0.274.
link(21,44) :- #0.833.
link(44,21) :- #0.099.
link(21,49) :- #0.712.
link(49,21) :- #0.864.
link(21,51) :- #0.595.
link(51,21) :- #0.322.
link(21,56) :- #0.978.
link(56,21) :- #0.282.
link(21,60) :- #0.972.
link(60,21) :- #0.331.
link(21,65) :- #0.961.
link(65,21) :- #0.878.
link(21,66) :- #0.828.
link(66,21) :- #0.299.
link(21,101) :- #0.976.
link(101,21) :- #0.408.
link(21,106) :- #0.256.
link(106,21) :- #0.87.
link(21,110) :- #0.591.
link(110,21) :- #0.081.
link(22,27) :- #0.086.
link(27,22) :- #0.13.
link(22,42) :- #0.995.
link(42,22) :- #0.808.
link(22,49) :- #0.589.
link(49,22) :- #0.459.
link(22,58) :- #0.367.
link(58,22) :- #0.339.
link(22,71) :- #0.759.
link(71,22) :- #0.254.
link(22,73) :- #0.681.
link(73,22) :- #0.406.
link(22,82) :- #0.971.
link(82,22) :- #0.275.
link(22,90) :- #0.316.
link(90,22) :- #0.644.
link(22,103) :- #0.227.
link(103,22) :- #0.151.
link(22,136) :- #0.168.
link(136,22) :- #0.702.
link(23,25) :- #0.209.
link(25,23) :- #0.965.
link(23,45) :- #0.803.
link(45,23) :- #0.215.
link(23,56) :- #0.213.
link(56,23) :- #0.982.
link(23,69) :- #0.741.
link(69,23) :- #0.812.
link(23,88) :- #0.752.
link(88,23) :- #0.372.
link(23,91) :- #0.885.
link(91,23) :- #0.253.
link(23,92) :- #0.413.
link(92,23) :- #0.073.
link(23,93) :- #0.865.
link(93,23) :- #0.951.
link(23,94) :- #0.732.
link(94,23) :- #0.002.
link(23,95) :- #0.873.
link(95,23) :- #0.019.
link(23,96) :- #0.645.
link(96,23) :- #0.228.
link(23,107) :- #0.136.
link(107,23) :- #0.567.
link(23,118) :- #0.142.
link(118,23) :- #0.054.
link(23,120) :- #0.31.
link(120,23) :- #0.302.
link(23,123) :- #0.237.
link(123,23) :- #0.545.
link(23,132) :- #0.661.
link(132,23) :- #0.45.
link(23,135) :- #0.354.
link(135,23) :- #0.757.
link(24,36) :- #0.46.
link(36,24) :- #0.311.
link(24,48) :- #0.715.
link(48,24) :- #0.91.
link(24,72) :- #0.458.
link(72,24) :- #0.214.
link(24,81) :- #0.884.
link(81,24) :- #0.071.
link(24,82) :- #0.951.
link(82,24) :- #0.543.
link(24,83) :- #0.094.
link(83,24) :- #0.652.
link(24,84) :- #0.761.
link(84,24) :- #0.699.
link(24,110) :- #0.335.
link(110,24) :- #0.328.
link(24,114) :- #0.463.
link(114,24) :- #0.151.
link(24,121) :- #0.26.
link(121,24) :- #0.87.
link(24,123) :- #0.512.
link(123,24) :- #0.985.
link(25,32) :- #0.017.
link(32,25) :- #0.233.
link(25,41) :- #0.193.
link(41,25) :- #0.965.
link(25,89) :- #0.969.
link(89,25) :- #0.809.
link(25,94) :- #0.904.
link(94,25) :- #0.939.
link(25,99) :- #0.555.
link(99,25) :- #0.755.
link(25,101) :- #0.369.
link(101,25) :- #0.325.
link(25,110) :- #0.989.
link(110,25) :- #0.3.
link(25,112) :- #0.57.
link(112,25) :- #0.408.
link(25,126) :- #0.18.
link(126,25) :- #0.815.
link(25,131) :- #0.285.
link(131,25) :- #0.573.
link(25,140) :- #0.775.
link(140,25) :- #0.644.
link(26,28) :- #0.907.
link(28,26) :- #0.453.
link(26,75) :- #0.025.
link(75,26) :- #0.374.
link(26,99) :- #0.129.
link(99,26) :- #0.157.
link(26,101) :- #0.863.
link(101,26) :- #0.562.
link(26,112) :- #0.049.
link(112,26) :- #0.307.
link(26,115) :- #0.936.
link(115,26) :- #0.456.
link(26,127) :- #0.429.
link(127,26) :- #0.999.
link(26,130) :- #0.845.
link(130,26) :- #0.75.
link(26,135) :- #0.233.
link(135,26) :- #0.047.
link(27,33) :- #0.777.
link(33,27) :- #0.893.
link(27,34) :- #0.041.
link(34,27) :- #0.983.
link(27,43) :- #0.417.
link(43,27) :- #0.38.
link(27,70) :- #0.629.
link(70,27) :- #0.334.
link(27,74) :- #0.155.
link(74,27) :- #0.085.
link(27,78) :- #0.451.
link(78,27) :- #0.166.
link(27,100) :- #0.451.
link(100,27) :- #0.373.
link(27,108) :- #0.233.
link(108,27) :- #0.968.
link(27,122) :- #0.823.
link(122,27) :- #0.867.
link(27,127) :- #0.607.
link(127,27) :- #0.595.
link(27,129) :- #0.503.
link(129,27) :- #0.623.
link(27,131) :- #0.092.
link(131,27) :- #0.394.
link(27,134) :- #0.765.
link(134,27) :- #0.663.
link(27,135) :- #0.634.
link(135,27) :- #0.407.
link(28,46) :- #0.453.
link(46,28) :- #0.41.
link(28,50) :- #0.949.
link(50,28) :- #0.76.
link(28,57) :- #0.087.
link(57,28) :- #0.46.
link(28,64) :- #0.549.
link(64,28) :- #0.226.
link(28,67) :- #0.195.
link(67,28) :- #0.156.
link(28,96) :- #0.379.
link(96,28) :- #0.613.
link(28,109) :- #0.424.
link(109,28) :- #0.766.
link(28,118) :- #0.543.
link(118,28) :- #0.765.
link(28,135) :- #0.459.
link(135,28) :- #0.293.
link(28,140) :- #0.632.
link(140,28) :- #0.802.
link(29,31) :- #0.505.
link(31,29) :- #0.673.
link(29,56) :- #0.466.
link(56,29) :- #0.891.
link(29,61) :- #0.84.
link(61,29) :- #0.48.
link(29,68) :- #0.667.
link(68,29) :- #0.713.
link(29,80) :- #0.896.
link(80,29) :- #0.304.
link(29,82) :- #0.933.
link(82,29) :- #0.397.
link(29,91) :- #0.082.
link(91,29) :- #0.621.
link(29,96) :- #0.366.
link(96,29) :- #0.551.
link(29,97) :- #0.707.
link(97,29) :- #0.443.
link(29,119) :- #0.823.
link(119,29) :- #0.148.
link(29,137) :- #0.502.
link(137,29) :- #0.125.
link(30,35) :- #0.448.
link(35,30) :- #0.927.
link(30,43) :- #0.214.
link(43,30) :- #0.911.
link(30,48) :- #0.061.
link(48,30) :- #0.272.
link(30,56) :- #0.187.
link(56,30) :- #0.636.
link(30,61) :- #0.44.
link(61,30) :- #0.73.
link(30,63) :- #0.967.
link(63,30) :- #0.267.
link(30,67) :- #0.233.
link(67,30) :- #0.601.
link(30,72) :- #0.281.
link(72,30) :- #0.04.
link(30,75) :- #0.918.
link(75,30) :- #0.834.
link(30,80) :- #0.892.
link(80,30) :- #0.788.
link(30,103) :- #0.994.
link(103,30) :- #0.614.
link(30,104) :- #0.218.
link(104,30) :- #0.877.
link(30,108) :- #0.362.
link(108,30) :- #0.967.
link(30,130) :- #0.334.
link(130,30) :- #0.263.
link(30,134) :- #0.244.
link(134,30) :- #0.71.
link(31,45) :- #0.247.
link(45,31) :- #0.425.
link(31,47) :- #0.157.
link(47,31) :- #0.744.
link(31,50) :- #0.771.
link(50,31) :- #0.024.
link(31,54) :- #0.73.
link(54,31) :- #0.784.
link(31,84) :- #0.982.
link(84,31) :- #0.632.
link(31,88) :- #0.669.
link(88,31) :- #0.645.
link(31,93) :- #0.13.
link(93,31) :- #0.839.
link(31,120) :- #0.077.
link(120,31) :- #0.713.
link(31,134) :- #0.972.
link(134,31) :- #0.752.
link(31,135) :- #0.907.
link(135,31) :- #0.512.
link(31,136) :- #0.277.
link(136,31) :- #0.707.
link(31,138) :- #0.24.
link(138,31) :- #0.52.
link(32,39) :- #0.498.
link(39,32) :- #0.017.
link(32,40) :- #0.911.
link(40,32) :- #0.954.
link(32,44) :- #0.236.
link(44,32) :- #0.367.
link(32,53) :- #0.038.
link(53,32) :- #0.749.
link(32,63) :- #0.908.
link(63,32) :- #0.931.
link(32,84) :- #0.937.
link(84,32) :- #0.899.
link(32,95) :- #0.155.
link(95,32) :- #0.329.
link(32,97) :- #0.728.
link(97,32) :- #0.758.
link(32,103) :- #0.771.
link(103,32) :- #0.789.
link(32,108) :- #0.469.
link(108,32) :- #0.42.
link(32,132) :- #0.846.
link(132,32) :- #0.526.
link(32,133) :- #0.541.
link(133,32) :- #0.478.
link(32,139) :- #0.096.
link(139,32) :- #0.856.
link(33,51) :- #0.282.
link(51,33) :- #0.881.
link(33,53) :- #0.972.
link(53,33) :- #0.296.
link(33,54) :- #0.732.
link(54,33) :- #0.445.
link(33,63) :- #0.618.
link(63,33) :- #0.234.
link(33,72) :- #0.098.
link(72,33) :- #0.389.
link(33,81) :- #0.608.
link(81,33) :- #0.226.
link(33,92) :- #0.972.
link(92,33) :- #0.769.
link(33,102) :- #0.938.
link(102,33) :- #0.791.
link(33,106) :- #0.869.
link(106,33) :- #0.512.
link(33,117) :- #0.94.
link(117,33) :- #0.559.
link(33,131) :- #0.852.
link(131,33) :- #0.066.
link(34,36) :- #0.885.
link(36,34) :- #0.74.
link(34,42) :- #0.329.
link(42,34) :- #0.245.
link(34,43) :- #0.334.
link(43,34) :- #0.273.
link(34,47) :- #0.827.
link(47,34) :- #0.285.
link(34,67) :- #0.026.
link(67,34) :- #0.331.
link(34,86) :- #0.302.
link(86,34) :- #0.235.
link(34,100) :- #0.871.
link(100,34) :- #0.66.
link(34,115) :- #0.233.
link(115,34) :- #0.792.
link(34,130) :- #0.699.
link(130,34) :- #0.887.
link(35,48) :- #0.139.
link(48,35) :- #0.346.
link(35,89) :- #0.705.
link(89,35) :- #0.187.
link(35,93) :- #0.852.
link(93,35) :- #0.013.
link(35,104) :- #0.269.
link(104,35) :- #0.9.
link(35,113) :- #0.825.
link(113,35) :- #0.762.
link(35,120) :- #0.297.
link(120,35) :- #0.736.
link(35,136) :- #0.101.
link(136,35) :- #0.475.
link(36,39) :- #0.59.
link(39,36) :- #0.163.
link(36,40) :- #0.522.
link(40,36) :- #0.942.
link(36,42) :- #0.637.
link(42,36) :- #0.822.
link(36,44) :- #0.127.
link(44,36) :- #0.065.
link(36,58) :- #0.795.
link(58,36) :- #0.023.
link(36,76) :- #0.73.
link(76,36) :- #0.91.
link(36,85) :- #0.07.
link(85,36) :- #0.244.
link(36,92) :- #0.947.
link(92,36) :- #0.905.
link(36,110) :- #0.614.
link(110,36) :- #0.646.
link(36,121) :- #0.868.
link(121,36) :- #0.58.
link(36,128) :- #0.246.
link(128,36) :- #0.721.
link(36,134) :- #0.315.
link(134,36) :- #0.324.
link(37,39) :- #0.386.
link(39,37) :- #0.822.
link(37,45) :- #0.734.
link(45,37) :- #0.006.
link(37,55) :- #0.983.
link(55,37) :- #0.467.
link(37,57) :- #0.194.
link(57,37) :- #0.032.
link(37,80) :- #0.832.
link(80,37) :- #0.258.
link(37,86) :- #0.279.
link(86,37) :- #0.744.
link(37,91) :- #0.586.
link(91,37) :- #0.333.
link(37,98) :- #0.512.
link(98,37) :- #0.73.
link(37,99) :- #0.405.
link(99,37) :- #0.481.
link(37,112) :- #0.088.
link(112,37) :- #0.766.
link(37,138) :- #0.228.
link(138,37) :- #0.067.
link(38,39) :- #0.425.
link(39,38) :- #0.097.
link(38,46) :- #0.764.
link(46,38) :- #0.435.
link(38,48) :- #0.23.
link(48,38) :- #0.736.
link(38,52) :- #0.576.
link(52,38) :- #0.541.
link(38,64) :- #0.432.
link(64,38) :- #0.294.
link(38,65) :- #0.489.
link(65,38) :- #0.645.
link(38,91) :- #0.45.
link(91,38) :- #0.745.
link(38,94) :- #0.715.
link(94,38) :- #0.234.
link(38,131) :- #0.503.
link(131,38) :- #0.855.
link(39,58) :- #0.678.
link(58,39) :- #0.3.
link(39,62) :- #0.212.
link(62,39) :- #0.055.
link(39,92) :- #0.801.
link(92,39) :- #0.128.
link(39,98) :- #0.862.
link(98,39) :- #0.147.
link(39,100) :- #0.463.
link(100,39) :- #0.967.
link(39,102) :- #0.772.
link(102,39) :- #0.764.
link(39,118) :- #0.585.
link(118,39) :- #0.203.
link(39,129) :- #0.164.
link(129,39) :- #0.337.
link(40,48) :- #0.821.
link(48,40) :- #0.709.
link(40,60) :- #0.254.
link(60,40) :- #0.776.
link(40,76) :- #0.112.
link(76,40) :- #0.105.
link(40,88) :- #0.604.
link(88,40) :- #0.189.
link(40,89) :- #0.237.
link(89,40) :- #0.288.
link(40,94) :- #0.742.
link(94,40) :- #0.934.
link(40,119) :- #0.441.
link(119,40) :- #0.19.
link(41,52) :- #0.922.
link(52,41) :- #0.842.
link(41,53) :- #0.973.
link(53,41) :- #0.748.
link(41,85) :- #0.468.
link(85,41) :- #0.679.
link(41,94) :- #0.197.
link(94,41) :- #0.072.
link(41,99) :- #0.359.
link(99,41) :- #0.155.
link(41,100) :- #0.658.
link(100,41) :- #0.168.
link(41,103) :- #0.535.
link(103,41) :- #0.142.
link(41,104) :- #0.116.
link(104,41) :- #0.017.
link(41,118) :- #0.363.
link(118,41) :- #0.097.
link(41,138) :- #0.917.
link(138,41) :- #0.535.
link(42,54) :- #0.013.
link(54,42) :- #0.138.
link(42,69) :- #0.55.
link(69,42) :- #0.992.
link(42,84) :- #0.262.
link(84,42) :- #0.17.
link(42,89) :- #0.569.
link(89,42) :- #0.737.
link(42,90) :- #0.896.
link(90,42) :- #0.152.
link(42,96) :- #0.014.
link(96,42) :- #0.966.
link(42,104) :- #0.156.
link(104,42) :- #0.784.
link(42,109) :- #0.7.
link(109,42) :- #0.43.
link(42,122) :- #0.121.
link(122,42) :- #0.02.
link(42,130) :- #0.517.
link(130,42) :- #0.077.
link(42,132) :- #0.02.
link(132,42) :- #0.103.
link(42,138) :- #0.556.
link(138,42) :- #0.097.
link(42,140) :- #0.832.
link(140,42) :- #0.684.
link(43,50) :- #0.337.
link(50,43) :- #0.658.
link(43,60) :- #0.371.
link(60,43) :- #0.861.
link(43,61) :- #0.8.
link(61,43) :- #0.992.
link(43,66) :- #0.078.
link(66,43) :- #0.102.
link(43,68) :- #0.342.
link(68,43) :- #0.66.
link(43,76) :- #0.867.
link(76,43) :- #0.29.
link(43,86) :- #0.115.
link(86,43) :- #0.736.
link(43,92) :- #0.424.
link(92,43) :- #0.103.
link(43,96) :- #0.744.
link(96,43) :- #0.971.
link(43,98) :- #0.934.
link(98,43) :- #0.391.
link(43,112) :- #0.548.
link(112,43) :- #0.289.
link(43,116) :- #0.308.
link(116,43) :- #0.755.
link(43,119) :- #0.384.
link(119,43) :- #0.237.
link(43,123) :- #0.787.
link(123,43) :- #0.439.
link(43,127) :- #0.244.
link(127,43) :- #0.687.
link(43,134) :- #0.528.
link(134,43) :- #0.597.
link(44,62) :- #0.244.
link(62,44) :- #0.304.
link(44,81) :- #0.296.
link(81,44) :- #0.792.
link(44,82) :- #0.442.
link(82,44) :- #0.395.
link(44,94) :- #0.954.
link(94,44) :- #0.898.
link(44,100) :- #0.945.
link(100,44) :- #0.082.
link(44,103) :- #0.712.
link(103,44) :- #0.785.
link(44,111) :- #0.681.
link(111,44) :- #0.404.
link(44,121) :- #0.396.
link(121,44) :- #0.977.
link(44,134) :- #0.363.
link(134,44) :- #0.704.
link(44,136) :- #0.654.
link(136,44) :- #0.728.
link(45,46) :- #0.186.
link(46,45) :- #0.197.
link(45,48) :- #0.597.
link(48,45) :- #0.485.
link(45,72) :- #0.367.
link(72,45) :- #0.09.
link(45,76) :- #0.663.
link(76,45) :- #0.819.
link(45,78) :- #0.29.
link(78,45) :- #0.568.
link(45,92) :- #0.467.
link(92,45) :- #0.473.
link(45,104) :- #0.91.
link(104,45) :- #0.659.
link(45,105) :- #0.303.
link(105,45) :- #0.061.
link(45,117) :- #0.603.
link(117,45) :- #0.824.
link(45,132) :- #0.01.
link(132,45) :- #0.019.
link(45,133) :- #0.339.
link(133,45) :- #0.764.
link(45,136) :- #0.021.
link(136,45) :- #0.14.
link(46,49) :- #0.322.
link(49,46) :- #0.309.
link(46,69) :- #0.874.
link(69,46) :- #0.155.
link(46,120) :- #0.867.
link(120,46) :- #0.568.
link(46,130) :- #0.951.
link(130,46) :- #0.562.
link(47,75) :- #0.745.
link(75,47) :- #0.335.
link(47,81) :- #0.097.
link(81,47) :- #0.852.
link(47,106) :- #0.577.
link(106,47) :- #0.51.
link(47,115) :- #0.406.
link(115,47) :- #0.264.
link(47,128) :- #0.547.
link(128,47) :- #0.551.
link(47,135) :- #0.406.
link(135,47) :- #0.861.
link(47,139) :- #0.219.
link(139,47) :- #0.207.
link(48,59) :- #0.08.
link(59,48) :- #0.334.
link(48,60) :- #0.855.
link(60,48) :- #0.477.
link(48,81) :- #0.394.
link(81,48) :- #0.272.
link(48,108) :- #0.314.
link(108,48) :- #0.636.
link(48,127) :- #0.855.
link(127,48) :- #0.448.
link(49,72) :- #0.493.
link(72,49) :- #0.472.
link(49,82) :- #0.972.
link(82,49) :- #0.76.
link(49,92) :- #0.769.
link(92,49) :- #0.686.
link(49,96) :- #0.687.
link(96,49) :- #0.114.
link(49,97) :- #0.008.
link(97,49) :- #0.64.
link(49,107) :- #0.805.
link(107,49) :- #0.633.
link(49,117) :- #0.27.
link(117,49) :- #0.732.
link(49,138) :- #0.266.
link(138,49) :- #0.843.
link(50,56) :- #0.28.
link(56,50) :- #0.285.
link(50,65) :- #0.816.
link(65,50) :- #0.926.
link(50,67) :- #0.243.
link(67,50) :- #0.719.
link(50,71) :- #0.981.
link(71,50) :- #0.922.
link(50,95) :- #0.565.
link(95,50) :- #0.337.
link(50,100) :- #0.436.
link(100,50) :- #0.035.
link(50,102) :- #0.026.
link(102,50) :- #0.328.
link(50,103) :- #0.311.
link(103,50) :- #0.552.
link(50,119) :- #0.786.
link(119,50) :- #0.818.
link(50,128) :- #0.018.
link(128,50) :- #0.557.
link(50,129) :- #0.232.
link(129,50) :- #0.219.
link(51,60) :- #0.874.
link(60,51) :- #0.729.
link(51,67) :- #0.803.
link(67,51) :- #0.817.
link(51,81) :- #0.695.
link(81,51) :- #0.301.
link(51,83) :- #0.98.
link(83,51) :- #0.998.
link(51,96) :- #0.276.
link(96,51) :- #0.397.
link(51,117) :- #0.134.
link(117,51) :- #0.622.
link(51,128) :- #0.039.
link(128,51) :- #0.711.
link(51,139) :- #0.77.
link(139,51) :- #0.512.
link(52,55) :- #0.346.
link(55,52) :- #0.091.
link(52,68) :- #0.324.
link(68,52) :- #0.655.
link(52,75) :- #0.042.
link(75,52) :- #0.255.
link(52,88) :- #0.32.
link(88,52) :- #0.32.
link(52,93) :- #0.532.
link(93,52) :- #0.472.
link(52,100) :- #0.744.
link(100,52) :- #0.567.
link(52,129) :- #0.335.
link(129,52) :- #0.7.
link(52,133) :- #0.607.
link(133,52) :- #0.699.
link(52,134) :- #0.016.
link(134,52) :- #0.949.
link(52,136) :- #0.111.
link(136,52) :- #0.418.
link(53,64) :- #0.036.
link(64,53) :- #0.568.
link(53,65) :- #0.666.
link(65,53) :- #0.34.
link(53,70) :- #0.598.
link(70,53) :- #0.794.
link(53,75) :- #0.426.
link(75,53) :- #0.162.
link(53,83) :- #0.313.
link(83,53) :- #0.499.
link(53,84) :- #0.469.
link(84,53) :- #0.965.
link(53,90) :- #0.497.
link(90,53) :- #0.024.
link(53,106) :- #0.35.
link(106,53) :- #0.752.
link(53,114) :- #0.572.
link(114,53) :- #0.654.
link(53,125) :- #0.334.
link(125,53) :- #0.474.
link(53,132) :- #0.005.
link(132,53) :- #0.616.
link(53,134) :- #0.263.
link(134,53) :- #0.064.
link(54,79) :- #0.136.
link(79,54) :- #0.829.
link(54,80) :- #0.861.
link(80,54) :- #0.85.
link(54,81) :- #0.379.
link(81,54) :- #0.503.
link(54,90) :- #0.371.
link(90,54) :- #0.491.
link(54,94) :- #0.457.
link(94,54) :- #0.393.
link(54,116) :- #0.379.
link(116,54) :- #0.983.
link(54,122) :- #0.41.
link(122,54) :- #0.222.
link(54,134) :- #0.272.
link(134,54) :- #0.495.
link(55,58) :- #0.162.
link(58,55) :- #0.764.
link(55,71) :- #0.209.
link(71,55) :- #0.786.
link(55,85) :- #0.906.
link(85,55) :- #0.96.
link(55,89) :- #0.333.
link(89,55) :- #0.634.
link(55,90) :- #0.711.
link(90,55) :- #0.664.
link(55,101) :- #0.854.
link(101,55) :- #0.445.
link(55,102) :- #0.673.
link(102,55) :- #0.275.
link(55,105) :- #0.071.
link(105,55) :- #0.556.
link(55,130) :- #0.027.
link(130,55) :- #0.012.
link(55,136) :- #0.399.
link(136,55) :- #0.423.
link(56,57) :- #0.691.
link(57,56) :- #0.701.
link(56,68) :- #0.5.
link(68,56) :- #0.287.
link(56,100) :- #0.249.
link(100,56) :- #0.963.
link(56,106) :- #0.951.
link(106,56) :- #0.886.
link(56,137) :- #0.855.
link(137,56) :- #0.017.
link(56,139) :- #0.05.
link(139,56) :- #0.634.
link(57,77) :- #0.643.
link(77,57) :- #0.233.
link(57,83) :- #0.008.
link(83,57) :- #0.535.
link(57,100) :- #0.047.
link(100,57) :- #0.975.
link(57,110) :- #0.244.
link(110,57) :- #0.924.
link(57,129) :- #0.826.
link(129,57) :- #0.584.
link(57,139) :- #0.958.
link(139,57) :- #0.467.
link(58,62) :- #0.337.
link(62,58) :- #0.91.
link(58,70) :- #0.789.
link(70,58) :- #0.406.
link(58,85) :- #0.631.
link(85,58) :- #0.036.
link(58,95) :- #0.781.
link(95,58) :- #0.537.
link(58,122) :- #0.763.
link(122,58) :- #0.74.
link(58,127) :- #0.115.
link(127,58) :- #0.545.
link(58,137) :- #0.401.
link(137,58) :- #0.151.
link(59,92) :- #0.202.
link(92,59) :- #0.906.
link(59,94) :- #0.529.
link(94,59) :- #0.522.
link(59,96) :- #0.688.
link(96,59) :- #0.135.
link(59,100) :- #0.962.
link(100,59) :- #0.529.
link(59,120) :- #0.147.
link(120,59) :- #0.901.
link(59,121) :- #0.414.
link(121,59) :- #0.933.
link(59,130) :- #0.604.
link(130,59) :- #0.614.
link(59,132) :- #0.309.
link(132,59) :- #0.461.
link(59,133) :- #0.412.
link(133,59) :- #0.025.
link(60,63) :- #0.863.
link(63,60) :- #0.718.
link(60,65) :- #0.081.
link(65,60) :- #0.248.
link(60,84) :- #0.818.
link(84,60) :- #0.543.
link(60,99) :- #0.839.
link(99,60) :- #0.012.
link(60,104) :- #0.534.
link(104,60) :- #0.423.
link(60,115) :- #0.466.
link(115,60) :- #0.831.
link(60,116) :- #0.88.
link(116,60) :- #0.944.
link(60,124) :- #0.164.
link(124,60) :- #0.096.
link(60,133) :- #0.034.
link(133,60) :- #0.49.
link(61,62) :- #0.289.
link(62,61) :- #0.414.
link(61,73) :- #0.951.
link(73,61) :- #0.927.
link(61,84) :- #0.906.
link(84,61) :- #0.231.
link(61,87) :- #0.223.
link(87,61) :- #0.099.
link(61,106) :- #0.701.
link(106,61) :- #0.128.
link(61,119) :- #0.414.
link(119,61) :- #0.189.
link(61,125) :- #0.349.
link(125,61) :- #0.896.
link(62,93) :- #0.696.
link(93,62) :- #0.98.
link(62,101) :- #0.376.
link(101,62) :- #0.587.
link(62,102) :- #0.052.
link(102,62) :- #0.52.
link(62,103) :- #0.676.
link(103,62) :- #0.221.
link(62,113) :- #0.047.
link(113,62) :- #0.784.
link(63,103) :- #0.573.
link(103,63) :- #0.453.
link(63,120) :- #0.642.
link(120,63) :- #0.343.
link(63,125) :- #0.829.
link(125,63) :- #0.621.
link(63,135) :- #0.067.
link(135,63) :- #0.512.
link(63,138) :- #0.584.
link(138,63) :- #0.753.
link(64,71) :- #0.907.
link(71,64) :- #0.7.
link(64,81) :- #0.463.
link(81,64) :- #0.812.
link(64,84) :- #0.282.
link(84,64) :- #0.906.
link(64,86) :- #0.27.
link(86,64) :- #0.207.
link(64,89) :- #0.076.
link(89,64) :- #0.337.
link(64,95) :- #0.711.
link(95,64) :- #0.08.
link(64,126) :- #0.159.
link(126,64) :- #0.705.
link(64,137) :- #0.681.
link(137,64) :- #0.337.
link(65,82) :- #0.352.
link(82,65) :- #0.628.
link(65,92) :- #0.076.
link(92,65) :- #0.933.
link(65,98) :- #0.852.
link(98,65) :- #0.128.
link(65,100) :- #0.07.
link(100,65) :- #0.435.
link(65,104) :- #0.89.
link(104,65) :- #0.238.
link(65,116) :- #0.916.
link(116,65) :- #0.819.
link(65,117) :- #0.57.
link(117,65) :- #0.985.
link(66,72) :- #0.724.
link(72,66) :- #0.499.
link(66,80) :- #0.299.
link(80,66) :- #0.562.
link(66,83) :- #0.427.
link(83,66) :- #0.413.
link(66,94) :- #0.545.
link(94,66) :- #0.382.
link(66,110) :- #0.131.
link(110,66) :- #0.103.
link(66,111) :- #0.225.
link(111,66) :- #0.193.
link(66,131) :- #0.962.
link(131,66) :- #0.101.
link(67,73) :- #0.072.
link(73,67) :- #0.05.
link(67,81) :- #0.967.
link(81,67) :- #0.802.
link(67,84) :- #0.361.
link(84,67) :- #0.886.
link(67,85) :- #0.792.
link(85,67) :- #0.668.
link(67,91) :- #0.324.
link(91,67) :- #0.975.
link(67,96) :- #0.261.
link(96,67) :- #0.069.
link(67,103) :- #0.064.
link(103,67) :- #0.751.
link(67,123) :- #0.152.
link(123,67) :- #0.878.
link(67,137) :- #0.427.
link(137,67) :- #0.12.
link(67,139) :- #0.896.
link(139,67) :- #0.95.
link(68,70) :- #0.831.
link(70,68) :- #0.711.
link(68,73) :- #0.518.
link(73,68) :- #0.575.
link(68,74) :- #0.834.
link(74,68) :- #0.745.
link(68,82) :- #0.284.
link(82,68) :- #0.599.
link(68,85) :- #0.078.
link(85,68) :- #0.538.
link(68,86) :- #0.569.
link(86,68) :- #0.192.
link(68,91) :- #0.156.
link(91,68) :- #0.028.
link(68,101) :- #0.647.
link(101,68) :- #0.599.
link(68,108) :- #0.039.
link(108,68) :- #0.199.
link(68,110) :- #0.24.
link(110,68) :- #0.053.
link(68,116) :- #0.42.
link(116,68) :- #0.42.
link(68,118) :- #0.874.
link(118,68) :- #0.516.
link(68,121) :- #0.071.
link(121,68) :- #0.561.
link(68,130) :- #0.58.
link(130,68) :- #0.646.
link(68,131) :- #0.21.
link(131,68) :- #0.472.
link(69,71) :- #0.276.
link(71,69) :- #0.436.
link(69,78) :- #0.374.
link(78,69) :- #0.97.
link(69,91) :- #0.893.
link(91,69) :- #0.154.
link(69,92) :- #0.247.
link(92,69) :- #0.651.
link(69,100) :- #0.952.
link(100,69) :- #0.337.
link(69,101) :- #0.934.
link(101,69) :- #0.635.
link(69,105) :- #0.755.
link(105,69) :- #0.858.
link(69,120) :- #0.748.
link(120,69) :- #0.999.
link(70,75) :- #0.631.
link(75,70) :- #0.021.
link(70,83) :- #0.457.
link(83,70) :- #0.236.
link(70,94) :- #0.085.
link(94,70) :- #0.681.
link(70,96) :- #0.354.
link(96,70) :- #0.396.
link(70,123) :- #0.031.
link(123,70) :- #0.991.
link(70,135) :- #0.251.
link(135,70) :- #0.688.
link(70,140) :- #0.383.
link(140,70) :- #0.073.
link(71,72) :- #0.483.
link(72,71) :- #0.522.
link(71,74) :- #0.812.
link(74,71) :- #0.093.
link(71,76) :- #0.264.
link(76,71) :- #0.526.
link(71,90) :- #0.617.
link(90,71) :- #0.627.
link(71,95) :- #0.725.
link(95,71) :- #0.601.
link(71,98) :- #0.098.
link(98,71) :- #0.967.
link(71,105) :- #0.941.
link(105,71) :- #0.947.
link(71,115) :- #0.02.
link(115,71) :- #0.315.
link(71,128) :- #0.308.
link(128,71) :- #0.455.
link(71,133) :- #0.456.
link(133,71) :- #0.34.
link(71,137) :- #0.209.
link(137,71) :- #0.151.
link(72,85) :- #0.218.
link(85,72) :- #0.976.
link(72,117) :- #0.699.
link(117,72) :- #0.361.
link(72,120) :- #0.921.
link(120,72) :- #0.999.
link(72,123) :- #0.59.
link(123,72) :- #0.262.
link(72,126) :- #0.725.
link(126,72) :- #0.775.
link(72,130) :- #0.146.
link(130,72) :- #0.776.
link(72,131) :- #0.338.
link(131,72) :- #0.824.
link(72,134) :- #0.449.
link(134,72) :- #0.762.
link(72,139) :- #0.776.
link(139,72) :- #0.638.
link(73,74) :- #0.316.
link(74,73) :- #0.018.
link(73,82) :- #0.879.
link(82,73) :- #0.612.
link(73,88) :- #0.366.
link(88,73) :- #0.073.
link(73,92) :- #0.932.
link(92,73) :- #0.31.
link(73,103) :- #0.239.
link(103,73) :- #0.576.
link(73,108) :- #0.017.
link(108,73) :- #0.558.
link(73,129) :- #0.942.
link(129,73) :- #0.657.
link(74,104) :- #0.632.
link(104,74) :- #0.561.
link(74,107) :- #0.417.
link(107,74) :- #0.875.
link(74,111) :- #0.678.
link(111,74) :- #0.153.
link(74,113) :- #0.659.
link(113,74) :- #0.76.
link(74,115) :- #0.116.
link(115,74) :- #0.237.
link(74,140) :- #0.338.
link(140,74) :- #0.919.
link(75,79) :- #0.528.
link(79,75) :- #0.952.
link(75,95) :- #0.019.
link(95,75) :- #0.693.
link(75,111) :- #0.733.
link(111,75) :- #0.309.
link(75,114) :- #0.595.
link(114,75) :- #0.47.
link(75,119) :- #0.576.
link(119,75) :- #0.144.
link(75,120) :- #0.843.
link(120,75) :- #0.41.
link(75,122) :- #0.689.
link(122,75) :- #0.823.
link(75,125) :- #0.492.
link(125,75) :- #0.084.
link(75,128) :- #0.356.
link(128,75) :- #0.09.
link(75,136) :- #0.495.
link(136,75) :- #0.947.
link(76,81) :- #0.688.
link(81,76) :- #0.63.
link(76,88) :- #0.312.
link(88,76) :- #0.606.
link(76,98) :- #0.97.
link(98,76) :- #0.044.
link(76,106) :- #0.8.
link(106,76) :- #0.213.
link(76,111) :- #0.796.
link(111,76) :- #0.132.
link(76,122) :- #0.392.
link(122,76) :- #0.486.
link(76,128) :- #0.167.
link(128,76) :- #0.073.
link(76,133) :- #0.585.
link(133,76) :- #0.497.
link(76,134) :- #0.037.
link(134,76) :- #0.805.
link(77,93) :- #0.776.
link(93,77) :- #0.568.
link(77,98) :- #0.467.
link(98,77) :- #0.789.
link(77,106) :- #0.112.
link(106,77) :- #0.036.
link(77,108) :- #0.945.
link(108,77) :- #0.142.
link(77,109) :- #0.488.
link(109,77) :- #0.872.
link(77,115) :- #0.054.
link(115,77) :- #0.896.
link(77,118) :- #0.148.
link(118,77) :- #0.956.
link(77,137) :- #0.28.
link(137,77) :- #0.821.
link(78,89) :- #0.41.
link(89,78) :- #0.235.
link(78,99) :- #0.793.
link(99,78) :- #0.687.
link(78,101) :- #0.047.
link(101,78) :- #0.889.
link(78,107) :- #0.634.
link(107,78) :- #0.283.
link(79,95) :- #0.329.
link(95,79) :- #0.577.
link(79,97) :- #0.268.
link(97,79) :- #0.584.
link(79,102) :- #0.025.
link(102,79) :- #0.639.
link(79,114) :- #0.466.
link(114,79) :- #0.64.
link(79,127) :- #0.986.
link(127,79) :- #0.01.
link(79,134) :- #0.165.
link(134,79) :- #0.533.
link(79,135) :- #0.752.
link(135,79) :- #0.317.
link(80,93) :- #0.414.
link(93,80) :- #0.821.
link(80,97) :- #0.827.
link(97,80) :- #0.93.
link(80,99) :- #0.691.
link(99,80) :- #0.551.
link(80,100) :- #0.491.
link(100,80) :- #0.482.
link(80,112) :- #0.392.
link(112,80) :- #0.102.
link(80,117) :- #0.765.
link(117,80) :- #0.774.
link(80,119) :- #0.973.
link(119,80) :- #0.027.
link(80,122) :- #0.286.
link(122,80) :- #0.95.
link(80,125) :- #0.053.
link(125,80) :- #0.739.
link(80,126) :- #0.418.
link(126,80) :- #0.11.
link(80,137) :- #0.517.
link(137,80) :- #0.418.
link(81,91) :- #0.096.
link(91,81) :- #0.105.
link(81,97) :- #0.719.
link(97,81) :- #0.256.
link(81,101) :- #0.224.
link(101,81) :- #0.297.
link(81,108) :- #0.909.
link(108,81) :- #0.854.
link(81,120) :- #0.391.
link(120,81) :- #0.733.
link(81,124) :- #0.737.
link(124,81) :- #0.017.
link(81,125) :- #0.308.
link(125,81) :- #0.04.
link(81,139) :- #0.898.
link(139,81) :- #0.755.
link(82,93) :- #0.402.
link(93,82) :- #0.642.
link(82,104) :- #0.549.
link(104,82) :- #0.147.
link(82,108) :- #0.193.
link(108,82) :- #0.797.
link(82,112) :- #0.874.
link(112,82) :- #0.017.
link(82,125) :- #0.151.
link(125,82) :- #0.575.
link(82,132) :- #0.47.
link(132,82) :- #0.495.
link(82,135) :- #0.278.
link(135,82) :- #0.102.
link(83,84) :- #0.542.
link(84,83) :- #0.464.
link(83,90) :- #0.406.
link(90,83) :- #0.217.
link(83,94) :- #0.259.
link(94,83) :- #0.339.
link(83,97) :- #0.497.
link(97,83) :- #0.6.
link(83,122) :- #0.313.
link(122,83) :- #0.271.
link(83,125) :- #0.917.
link(125,83) :- #0.431.
link(84,101) :- #0.119.
link(101,84) :- #0.702.
link(84,108) :- #0.742.
link(108,84) :- #0.774.
link(84,115) :- #0.482.
link(115,84) :- #0.791.
link(84,116) :- #0.64.
link(116,84) :- #0.19.
link(84,131) :- #0.666.
link(131,84) :- #0.728.
link(84,134) :- #0.425.
link(134,84) :- #0.076.
link(84,136) :- #0.811.
link(136,84) :- #0.761.
link(84,137) :- #0.165.
link(137,84) :- #0.065.
link(84,140) :- #0.756.
link(140,84) :- #0.33.
link(85,93) :- #0.028.
link(93,85) :- #0.486.
link(85,97) :- #0.53.
link(97,85) :- #0.175.
link(85,99) :- #0.251.
link(99,85) :- #0.562.
link(85,113) :- #0.787.
link(113,85) :- #0.401.
link(86,90) :- #0.618.
link(90,86) :- #0.298.
link(86,91) :- #0.077.
link(91,86) :- #0.203.
link(86,108) :- #0.166.
link(108,86) :- #0.001.
link(86,116) :- #0.241.
link(116,86) :- #0.257.
link(86,118) :- #0.072.
link(118,86) :- #0.263.
link(86,119) :- #0.138.
link(119,86) :- #0.414.
link(86,127) :- #0.549.
link(127,86) :- #0.165.
link(87,100) :- #0.786.
link(100,87) :- #0.607.
link(87,102) :- #0.193.
link(102,87) :- #0.13.
link(87,130) :- #0.678.
link(130,87) :- #0.218.
link(88,93) :- #0.612.
link(93,88) :- #0.414.
link(88,105) :- #0.216.
link(105,88) :- #0.276.
link(88,114) :- #0.
link(114,88) :- #0.974.
link(88,125) :- #0.659.
link(125,88) :- #0.873.
link(88,137) :- #0.816.
link(137,88) :- #0.506.
link(89,108) :- #0.871.
link(108,89) :- #0.105.
link(89,117) :- #0.201.
link(117,89) :- #0.66.
link(89,128) :- #0.141.
link(128,89) :- #0.649.
link(89,138) :- #0.606.
link(138,89) :- #0.968.
link(90,96) :- #0.934.
link(96,90) :- #0.946.
link(90,109) :- #0.291.
link(109,90) :- #0.258.
link(90,112) :- #0.245.
link(112,90) :- #0.693.
link(90,137) :- #0.38.
link(137,90) :- #0.407.
link(91,111) :- #0.219.
link(111,91) :- #0.429.
link(91,130) :- #0.739.
link(130,91) :- #0.188.
link(91,135) :- #0.271.
link(135,91) :- #0.98.
link(91,137) :- #0.646.
link(137,91) :- #0.851.
link(92,101) :- #0.594.
link(101,92) :- #0.221.
link(92,111) :- #0.488.
link(111,92) :- #0.435.
link(92,125) :- #0.875.
link(125,92) :- #0.246.
link(93,103) :- #0.236.
link(103,93) :- #0.814.
link(93,106) :- #0.217.
link(106,93) :- #0.856.
link(93,107) :- #0.311.
link(107,93) :- #0.204.
link(93,127) :- #0.816.
link(127,93) :- #0.184.
link(93,134) :- #0.506.
link(134,93) :- #0.515.
link(94,118) :- #0.128.
link(118,94) :- #0.768.
link(94,127) :- #0.658.
link(127,94) :- #0.975.
link(94,138) :- #0.24.
link(138,94) :- #0.284.
link(94,140) :- #0.72.
link(140,94) :- #0.401.
link(95,103) :- #0.569.
link(103,95) :- #0.12.
link(95,112) :- #0.249.
link(112,95) :- #0.051.
link(95,131) :- #0.831.
link(131,95) :- #0.614.
link(95,138) :- #0.151.
link(138,95) :- #0.865.
link(96,97) :- #0.585.
link(97,96) :- #0.136.
link(96,103) :- #0.058.
link(103,96) :- #0.332.
link(96,104) :- #0.491.
link(104,96) :- #0.529.
link(96,111) :- #0.023.
link(111,96) :- #0.859.
link(96,126) :- #0.082.
link(126,96) :- #0.136.
link(97,99) :- #0.304.
link(99,97) :- #0.207.
link(97,100) :- #0.356.
link(100,97) :- #0.771.
link(97,103) :- #0.095.
link(103,97) :- #0.922.
link(97,112) :- #0.568.
link(112,97) :- #0.184.
link(97,117) :- #0.722.
link(117,97) :- #0.225.
link(97,120) :- #0.072.
link(120,97) :- #0.652.
link(97,122) :- #0.542.
link(122,97) :- #0.982.
link(98,105) :- #0.162.
link(105,98) :- #0.294.
link(98,113) :- #0.712.
link(113,98) :- #0.381.
link(98,121) :- #0.281.
link(121,98) :- #0.065.
link(98,126) :- #0.823.
link(126,98) :- #0.189.
link(98,138) :- #0.377.
link(138,98) :- #0.429.
link(99,116) :- #0.908.
link(116,99) :- #0.671.
link(99,120) :- #0.13.
link(120,99) :- #0.885.
link(99,123) :- #0.359.
link(123,99) :- #0.943.
link(99,127) :- #0.338.
link(127,99) :- #0.096.
link(100,108) :- #0.337.
link(108,100) :- #0.874.
link(100,115) :- #0.492.
link(115,100) :- #0.888.
link(100,122) :- #0.204.
link(122,100) :- #0.236.
link(100,127) :- #0.801.
link(127,100) :- #0.227.
link(100,129) :- #0.639.
link(129,100) :- #0.33.
link(101,102) :- #0.249.
link(102,101) :- #0.728.
link(101,106) :- #0.358.
link(106,101) :- #0.384.
link(101,108) :- #0.361.
link(108,101) :- #0.16.
link(101,113) :- #0.71.
link(113,101) :- #0.879.
link(101,126) :- #0.682.
link(126,101) :- #0.634.
link(101,128) :- #0.001.
link(128,101) :- #0.267.
link(102,107) :- #0.714.
link(107,102) :- #0.938.
link(102,109) :- #0.768.
link(109,102) :- #0.004.
link(102,113) :- #0.486.
link(113,102) :- #0.471.
link(102,123) :- #0.743.
link(123,102) :- #0.198.
link(102,127) :- #0.67.
link(127,102) :- #0.905.
link(102,132) :- #0.054.
link(132,102) :- #0.674.
link(103,104) :- #0.426.
link(104,103) :- #0.474.
link(103,105) :- #0.907.
link(105,103) :- #0.65.
link(103,131) :- #0.931.
link(131,103) :- #0.495.
link(103,138) :- #0.295.
link(138,103) :- #0.321.
link(104,105) :- #0.952.
link(105,104) :- #0.515.
link(104,107) :- #0.995.
link(107,104) :- #0.134.
link(104,109) :- #0.284.
link(109,104) :- #0.426.
link(104,119) :- #0.626.
link(119,104) :- #0.894.
link(105,107) :- #0.388.
link(107,105) :- #0.017.
link(105,127) :- #0.732.
link(127,105) :- #0.69.
link(105,131) :- #0.966.
link(131,105) :- #0.038.
link(105,138) :- #0.871.
link(138,105) :- #0.955.
link(106,113) :- #0.427.
link(113,106) :- #0.701.
link(106,126) :- #0.513.
link(126,106) :- #0.599.
link(106,132) :- #0.427.
link(132,106) :- #0.35.
link(107,112) :- #0.95.
link(112,107) :- #0.33.
link(107,136) :- #0.778.
link(136,107) :- #0.187.
link(107,140) :- #0.639.
link(140,107) :- #0.121.
link(108,116) :- #0.645.
link(116,108) :- #0.51.
link(108,120) :- #0.727.
link(120,108) :- #0.924.
link(108,129) :- #0.743.
link(129,108) :- #0.13.
link(108,140) :- #0.481.
link(140,108) :- #0.296.
link(109,116) :- #0.411.
link(116,109) :- #0.722.
link(110,115) :- #0.786.
link(115,110) :- #0.93.
link(110,121) :- #0.411.
link(121,110) :- #0.913.
link(110,134) :- #0.576.
link(134,110) :- #0.103.
link(111,112) :- #0.732.
link(112,111) :- #0.391.
link(111,118) :- #0.452.
link(118,111) :- #0.789.
link(111,125) :- #0.928.
link(125,111) :- #0.193.
link(111,127) :- #0.72.
link(127,111) :- #0.565.
link(111,128) :- #0.616.
link(128,111) :- #0.188.
link(111,138) :- #0.906.
link(138,111) :- #0.971.
link(112,114) :- #0.994.
link(114,112) :- #0.488.
link(112,122) :- #0.305.
link(122,112) :- #0.697.
link(112,126) :- #0.007.
link(126,112) :- #0.97.
link(112,128) :- #0.348.
link(128,112) :- #0.832.
link(113,122) :- #0.348.
link(122,113) :- #0.785.
link(113,125) :- #0.54.
link(125,113) :- #0.564.
link(113,128) :- #0.583.
link(128,113) :- #0.016.
link(113,132) :- #0.018.
link(132,113) :- #0.563.
link(113,135) :- #0.494.
link(135,113) :- #0.692.
link(114,118) :- #0.65.
link(118,114) :- #0.09.
link(114,135) :- #0.457.
link(135,114) :- #0.817.
link(114,137) :- #0.315.
link(137,114) :- #0.509.
link(115,118) :- #0.334.
link(118,115) :- #0.919.
link(115,133) :- #0.876.
link(133,115) :- #0.665.
link(115,137) :- #0.541.
link(137,115) :- #0.755.
link(115,139) :- #0.407.
link(139,115) :- #0.948.
link(116,120) :- #0.706.
link(120,116) :- #0.026.
link(116,128) :- #0.887.
link(128,116) :- #0.074.
link(116,129) :- #0.523.
link(129,116) :- #0.371.
link(116,139) :- #0.467.
link(139,116) :- #0.76.
link(117,125) :- #0.028.
link(125,117) :- #0.221.
link(118,119) :- #0.209.
link(119,118) :- #0.699.
link(118,125) :- #0.907.
link(125,118) :- #0.536.
link(118,128) :- #0.145.
link(128,118) :- #0.275.
link(118,130) :- #0.386.
link(130,118) :- #0.643.
link(118,138) :- #0.405.
link(138,118) :- #0.522.
link(118,139) :- #0.564.
link(139,118) :- #0.794.
link(120,127) :- #0.943.
link(127,120) :- #0.992.
link(120,130) :- #0.454.
link(130,120) :- #0.03.
link(121,122) :- #0.058.
link(122,121) :- #0.918.
link(121,124) :- #0.579.
link(124,121) :- #0.332.
link(122,136) :- #0.929.
link(136,122) :- #0.801.
link(123,130) :- #0.553.
link(130,123) :- #0.855.
link(123,139) :- #0.025.
link(139,123) :- #0.875.
link(123,140) :- #0.974.
link(140,123) :- #0.512.
link(124,134) :- #0.616.
link(134,124) :- #0.786.
link(124,140) :- #0.024.
link(140,124) :- #0.064.
link(126,127) :- #0.057.
link(127,126) :- #0.817.
link(127,129) :- #0.042.
link(129,127) :- #0.694.
link(129,131) :- #0.9.
link(131,129) :- #0.693.
link(129,137) :- #0.833.
link(137,129) :- #0.273.
link(131,137) :- #0.648.
link(137,131) :- #0.889.
link(132,139) :- #0.618.
link(139,132) :- #0.091.
link(133,140) :- #0.659.
link(140,133) :- #0.664.
link(135,140) :- #0.993.
link(140,135) :- #0.889.
link(137,140) :- #0.877.
link(140,137) :- #0.186.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
